Show HN: Realization Jsmn on a Pure Zig
github.comยท9hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Modern C and initializing an array
subethasoftware.comยท1d
๐Ÿ—‚Data structures
CodeSOD: A JSON Serializer
thedailywtf.comยท1d
๐Ÿ“ฆDeflate
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท19h
๐ŸŒŠStreaming Systems
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.comยท2d
๐Ÿ“บVT100
Building a Universal Webhook Adapter in Go: Introducing WHOOK
dev.toยท2hยท
Discuss: DEV
๐ŸŒWASI
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
QUIC! Jump to User Space!
hackaday.comยท3h
๐ŸŒNetwork Protocols
PHP's New URI Extension
thephp.foundationยท7hยท
Discuss: Hacker News
๐ŸŒWeb Standards
An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver
Implicit `operator bool` participates in comparison
quuxplusone.github.ioยท19h
๐Ÿฆ€Rust Verification
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
โœ…Format Verification
The tiny server is growing.
i.redd.itยท15hยท
Discuss: r/homelab
๐ŸŒIPFS
Codeminer42 Dev Weekly #82
blog.codeminer42.comยท1h
๐ŸŽฏGradual Typing
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Metasploit Wrap Up 10/09/2025
rapid7.comยท23h
๐Ÿ›ก๏ธeBPF Security
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis